Home

supported-ops
a special operator defined for all known kets that returns the list of operators supported by that ket
say you know the mother, father, age and friends for Fred, then Fred's supported-ops will show this
also useful to define the star operator
note that supported-ops are automatically generated, and can't be manually modified

-- learn some basic knowledge about Fred:
mother |Fred> => |Liz>
father |Fred> => |Ted>
age |Fred> => |49>
friends |Fred> => |Sam> + |Emma> + |Tom> + |Hugo>

-- now learn a little knowledge about Sam:
mother |Sam> => |Amy>
age |Sam> => |51>

-- now see what we know, using verbose dump mode:
-- in standard dump mode, supported-ops rules are not displayed
sa: dump verbose
    ------------------------------------------
    |context> => |Global context>

    supported-ops |Fred> => |op: mother> + |op: father> + |op: age> + |op: friends>
    mother |Fred> => |Liz>
    father |Fred> => |Ted>
    age |Fred> => |49>
    friends |Fred> => |Sam> + |Emma> + |Tom> + |Hugo>

    supported-ops |Sam> => |op: mother> + |op: age>
    mother |Sam> => |Amy>
    age |Sam> => |51>
    ------------------------------------------

-- now define the star operator:
-- basically a superposition of everything known about a ket
star |*> #=> seq2sp apply( supported-ops |_self>, |_self>)

-- now apply it to Fred:
star |Fred>
    |Liz> + |Ted> + |49> + |Sam> + |Emma> + |Tom> + |Hugo>

-- now apply it to Sam:
star |Sam>
    |Amy> + |51>